Mobile
Log In Sign Up
Home > chinese-english > "formal verification of programs" in English

English translation for "formal verification of programs"

程序的形式验证

Related Translations:
formal:  adj.1.正式的。2.礼节上的,仪式上的;郑重其事的。3.形态的,外形的;形式上的;拘泥形式的,刻板的。4.布置整齐的,有条理的。5.正规的,合乎规格的。6.【语言】规范化的,书面语的,正规的〔非俗语、俚语的〕。短语和例子a formal receipt 正式收据。 a formal call 正式访问。 a formal manner 郑重其事的态度。 formal l
formal attribute:  形式属性
formal interview:  正式面谈
formal syntax:  形式语法
formal isomer:  形状同质异能素
formal diagnosis:  正规诊断
formal dress:  礼服
formal justic:  形式上的公正, 形式上的正义形式上的正义
formal pragmatics:  形式语用学
formal source:  正式渊源
Similar Words:
"formal upper bound" English translation, "formal value parameter" English translation, "formal variable" English translation, "formal variable procedure parameter" English translation, "formal verification" English translation, "formal walkthrough" English translation, "formal-actualparametercorrespondence" English translation, "formal-informal sector" English translation, "formalactual parameter correspondence" English translation, "formalandinformallanguage" English translation